combine-ecl-tuples(A; B; f; g)
== spreadn(A;
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(B;
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(Tb,ksb,ib,gb,hb,ab,be.<:Ta  Tb
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, append(ksa; ksb)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, <ia, ib>
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, k',s,v,x. <if deq-member(Kind-deq; k'; ksa)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, k',s,v,x. <then ga(k',s,v,x.1)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, k',s,v,x. <else x.1
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, k',s,v,x. <fi 
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, if band(deq-member(Kind-deq; k'; ksb); (ha(0,x.1)))
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, then gb(k',s,v,x.2)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, else x.2
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, fi 
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(>
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,x. f((m.ha(m,x.1)),m.hb(m,x.2),n)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. g
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. (if deq-member(Kind-deq; k'; ksa)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. (then aa(n,k',s,v,x.1)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. (else ff
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. (fi 
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. ,if deq-member(Kind-deq; k'; ksb)
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. ,then band((ha(0,x.1)); (ab(n,k',s,v,x.2)))
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. ,else ff
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, n,k',s,v,x. ,fi )
== spreadn(Ta,ksa,ia,ga,ha,aa,ae.spreadn(, merge(ae; be)>)) 

latex

Definitions	spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), append(as; bs), if b then t else f fi , deq-member(eq; x; L), Kind-deq, band(p; q), t.1, t.2, ff, merge(as; bs)
FDL editor aliases	combine-ecl-tuples